Renseignement militaire : une approche épistémologique

Zooms arrières, une approche impressionniste

This paper presents a new method for zooming out an image. As the Impressionism is one of the most complete painting technique, able to preserve noticeable details and light effects, the method proposed in this paper is based on an impressionist approach. The input image is analyzed and described through impressionist characteristics that will be preserved when a zoom out will be realized. Thes...

Génération d'indicateurs de maintenance par une approche semi-paramétrique et par une approche markovienne

Une approche qualitative spatiale pour une description sémantique des reliefs

Composants objets fiables : une approche pragmatique

Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-or...

Test de conformité : une approche algébrique

In this article, we propose a formalization of conformance testing with respect to algebraic specifications. We interpret functional behavior of programs with the help of algebraic models. We materialize abstract tests extracted from the specification with concrete tests written in a given programming language. This double bridge allows us to link the semantic correctness of a program with the ...